existential quantifier

noun

: a quantifier (such as for some in "for some x, 2x + 5 = 8") that asserts that there exists at least one value of a variable

called also existential operator

Word History

First Known Use

1936, in the meaning defined above

Time Traveler
The first known use of existential quantifier was in 1936

Dictionary Entries Near existential quantifier

Cite this Entry

“Existential quantifier.” Merriam-Webster.com Dictionary, Merriam-Webster, https://www.merriam-webster.com/dictionary/existential%20quantifier. Accessed 17 Dec. 2024.

More from Merriam-Webster on existential quantifier

Love words? Need even more definitions?

Subscribe to America's largest dictionary and get thousands more definitions and advanced search—ad free!